1

Boolean algebras arising from information systems

Year:
2004
Language:
english
File:
PDF, 310 KB
english, 2004
4

On Modalities and Quantifiers

Year:
2017
Language:
english
File:
PDF, 400 KB
english, 2017
5

Representation of nondeterministic information

Year:
1984
Language:
english
File:
PDF, 1.19 MB
english, 1984
6

Helena Rasiowa

Year:
1995
Language:
english
File:
PDF, 97 KB
english, 1995
7

Equational Reasoning in Non-Classical Logics

Year:
1998
Language:
english
File:
PDF, 1.79 MB
english, 1998
8

Logics of Complementarity in Information Systems

Year:
2000
Language:
english
File:
PDF, 296 KB
english, 2000
9

MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS

Year:
1984
Language:
english
File:
PDF, 527 KB
english, 1984
10

Logic For Reasoning About Knowledge

Year:
1989
Language:
english
File:
PDF, 719 KB
english, 1989
11

Expressive power of knowledge representation systems

Year:
1984
Language:
english
File:
PDF, 700 KB
english, 1984
12

Kripke semantics for knowledge representation logics

Year:
1990
Language:
english
File:
PDF, 1.04 MB
english, 1990
13

Discrete Dualities for Double Stone Algebras

Year:
2011
Language:
english
File:
PDF, 1.60 MB
english, 2011
14

Discrete dualities for some algebras with relations

Year:
2014
Language:
english
File:
PDF, 283 KB
english, 2014
15

A hierarchy of modal logics with relative accessibility relations

Year:
1999
Language:
english
File:
PDF, 1.16 MB
english, 1999
17

Relational proof systems for spatial reasoning ★

Year:
2006
Language:
english
File:
PDF, 196 KB
english, 2006
20

Relational proof system for relevant logics

Year:
1992
Language:
english
File:
PDF, 932 KB
english, 1992
24

Relational attribute systems

Year:
2001
Language:
english
File:
PDF, 438 KB
english, 2001
25

Semantic analysis of inductive reasoning

Year:
1986
Language:
english
File:
PDF, 579 KB
english, 1986
26

Logical analysis of demonic nondeterministic programs

Year:
1996
Language:
english
File:
PDF, 1.62 MB
english, 1996
27

Algebras for Galois-style connections and their discrete duality

Year:
2010
Language:
english
File:
PDF, 241 KB
english, 2010
28

Dual tableau for monoidal triangular norm logic MTL

Year:
2011
Language:
english
File:
PDF, 546 KB
english, 2011
29

Logical aspects of learning concepts

Year:
1988
Language:
english
File:
PDF, 647 KB
english, 1988
30

Editorial

Year:
2004
Language:
english
File:
PDF, 134 KB
english, 2004
37

Verisimilitude based on concept analysis

Year:
1990
Language:
english
File:
PDF, 876 KB
english, 1990
38

Logic of nondeterministic information

Year:
1985
Language:
english
File:
PDF, 585 KB
english, 1985
39

Representation of temporal information

Year:
1982
Language:
english
File:
PDF, 484 KB
english, 1982
40

Books received

Year:
1983
Language:
english
File:
PDF, 652 KB
english, 1983
41

Towards reasoning about Hoare relations

Year:
1994
Language:
english
File:
PDF, 1.58 MB
english, 1994
42

Reviews

Year:
1974
Language:
english
File:
PDF, 1.14 MB
english, 1974
43

Treshold logic

Year:
1974
Language:
english
File:
PDF, 321 KB
english, 1974
44

The gentzen style axiomatization of 433-1433-1433-1logic

Year:
1976
Language:
english
File:
PDF, 474 KB
english, 1976
45

On the Jaśkowski's method of suppositions

Year:
1975
Language:
english
File:
PDF, 514 KB
english, 1975
46

Threshold logic (II)

Year:
1976
Language:
english
File:
PDF, 210 KB
english, 1976
47

Mechanical theorem proving in a certain class of formulae of the predicate calculus

Year:
1969
Language:
english
File:
PDF, 453 KB
english, 1969
50

Tableaux and Dual Tableaux: Transformation of Proofs

Year:
2007
Language:
english
File:
PDF, 295 KB
english, 2007